Upper Ontologies in COLORE
نویسندگان
چکیده
This paper explores an alternative vision for upper ontologies which is more effective at facilitating the sharability and reusability of ontologies. The notion of generic ontologies is characterized through the formalization of ontological commitments and choices. Ontology repositories are used to modularize ontologies so that any particular upper ontology is equivalent to the union of a set of generic ontologies. In this way, upper ontologies are not replaced but rather integrated with other theories in the ontology repository.
منابع مشابه
Specifying Ontology Design Patterns with an Ontology Repository
Within the Common Logic Ontology Repository (COLORE), the notion of reducibility among ontologies has been used to characterize relationships among ontologies. This paper uses techniques such as relative interpretation to show how one set of ontologies within the repository can be reused to characterize the models of other ontologies that are used in a wide variety of domains. A central theme o...
متن کاملPreservation of Modules
Within the Common Logic Ontology Repository (COLORE), relationships among ontologies such as the notions of faithful interpretability, logical synonymy, and reducibility have been used for ontology verification. Earlier work has shown how to use these relationships to find modules of theories, so a natural question is to determine how we can use the decomposition of one theory into modules to f...
متن کاملVerification and Modularization of the DOLCE Upper Ontology
This paper outlines the reductive modularization and verification of the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE). The ontology makes distinctions between enduring and perduring entities which is reflected in the resulting reductive modules, in contrast to previous work done to generate a consistency proof for DOLCE. We present our approach to verify DOLCE with math...
متن کاملبررسی هستان شناسی های توسعه یافته مبتنی بر اصول هستان شناسی های منبع باز زیست پزشکی
Background and Aim: Ontologies facilitate data integration, exchange, searching and querying. Open Biomedical Ontologies (OBO) Foundry is a solution for creating reference ontologies. In this foundry, the design of ontologies is based on established principles which allow for their interactions as a single system. The purpose of this study is to determine the main features of ontologies develop...
متن کاملBase Concepts in the African Languages Compared to Upper Ontologies and the WordNet Top Ontology
Ontologies, and in particular upper ontologies, are foundational to the establishment of the Semantic Web. Upper ontologies are used as equivalence formalisms between domain specific ontologies. Multilingualism brings one of the key challenges to the development of these ontologies. Fundamental to the challenges of defining upper ontologies is the assumption that concepts are universally shared...
متن کامل